CONTRIBUTORS

ABSTRACT

Narratives about Brazil's nuclear program are distorted by supporters and critics alike. In Brazil, the national nuclear infrastructure is undergoing a period of expansion, with plans to build new nuclear power plants and industrial-scale fuel production facilities. While Brazil's leaders herald the nuclear sector as a triumph for indigenous science and technology, foreigners view the nuclear program as a dangerous legacy of the military regime. This discrepancy becomes even more apparent in discussions about the ongoing construction of Brazil's first nuclear powered submarine. Brazil's military touts the submarine as a symbol of political status, economic growth, and military might. But from abroad, the military's involvement in nuclear development is considered unnecessary, worrisome, and even irresponsible. These narratives—often incomplete or selective—have polarized discussions about Brazil's nuclear submarine program and caused considerable political antagonism during safeguards negotiations. This article works to dispel myths, highlight legitimate concerns, and explain historical perspectives that shed light on some difficulties that can be anticipated in future negotiations.     

基于POPS和PSR的美军里程碑节点审查方法

里程碑节点审查是美军装备采办过程中的核心控制手段。选取美军在该领域应用的最具代表性的项目成功可能性评审方法(Probability of Program Success,POPS)和项目支持评审方法(Program Support Review,PSR),围绕任务目标归纳出方法的主要思路,从程序步骤、评审内容框架等方面深入探究方法的特点,并从应用条件、使用范围、优点和局限性等方面进行对比分析,最后提出启示建议,为优化我军节点审查方法、提升装备采购过程管控能力提供借鉴和参考。     

水下滑翔机建模与纵向运动控制

水下滑翔机是一种浮力驱动的新型水下航行器,其特殊的驱动方式和结构特点增加了建模和控制分析的复杂度。为获得准确有效的水下运动控制方法,通过滑翔机运动学和动力学分析,建立了较为完善的三维空间数学模型,并进行了合理的假设和简化,得到纵平面内小扰动线性化模型。在此基础上,运用了线性二次型最优控制理论设计了LQR调节器,分析系统对于控制指令的跟踪响应情况。最后针对滑翔机的纵平面运动进行了仿真分析,仿真结果显示,LQR调节器有很好的干扰抑制能力和指令跟踪性能,并准确地描述了纵平面内滑翔机的运动特性。     

改进的二次正交设计在反水雷效能模型中的应用

针对反水雷效能模型在已有的二次组合设计下建模精度较差的问题,提出了一种改进的二次正交设计方法.通过对设计结构、编码规则、正交化原理三方面进行讨论,建立了改进的二次正交设计的设计模型,并采用遗传算法对多因素试验条件下的设计参数进行了优化求解;基于改进的二次正交设计方法,建立了一种反水雷效能模型.测试分析表明:与已有的设计...     

在Vs．net集成环境下创建带卸载的安装程序

创建安装程序是一件很简单的事,Vs.net提供了创建安装程序的向导,开发人员能够轻松地创建一个便于用户使用的安装程序。而按向导创建的安装程序没有为用户提供相应的卸载程序或快捷方式,为用户带来许多不便。以示例的形式详细介绍如何在Vs.net集成环境下创建带卸载的安装程序。     

二次型极小化问题带误差的迭代算法

证明了二次型极小化问题带误差的迭代算法的有效性,所得结果推广了关于二次型极小化问题迭代的收敛性。     

截击机作战起飞规划分析

根据截击机在优化的目标分配形式下拦截效果的概率模型,导出了截击机在拦截多攻击机机群时的最优目标分配形式,研究了机场飞机起飞架数与机场战术、技术参数、机场飞机的战术、技术参数以及与攻击机的进攻态势之间的关系,确定了多机场飞机对多攻击机机群进行最优目标分配时所应满足的量化关系,给出的模型可对作战决策过程提供理论依据     

实二次函数域基本单位范的判别法

本文给出实二次函数域基本单位范为g(g为F_q~*中本原元)的充分条件,从而解决了一批实二次函数域基本单位范的问题。     

SPC交换程序的半自动生成技术

本文介绍我院正在研制的 SPC 交换领域用的半自动编程系统,该系统通过用规范和描述语言 SDL 书写的规范来产生 SPC 交换程序。文中讨论了半自动生成系统的基本结构,并给出一个具体的半自动生成实例。